검색
색인

“귀납적 집합”으로 총 1건 검색

용어사전 (1건)
  • 귀납적 집합, 歸納的集合, recursive set
    기호열이 그 집합에 속하는지의 여부를 결정하는 알고리즘이 존재하는 집합. 즉, 어떠한 입력 기호열을 넣어도 반드시 정지하는 튜링 기계로 수리된 기호열의 집합이다.